Tootfinder

SCOTUS declines to block a Texas online porn restriction law, after critics said an age-verification mandate violates 1A by forcing viewers to submit their info (Lawrence Hurley/NBC News)
https://www.nbcnews.com/politics/supreme-c

Supreme Court declines to block Texas pornography restriction
The Supreme Court on Tuesday refused to block on free speech grounds a provision of Texas law aimed at preventing minors from accessing pornographic content online.

Tag der #Pressefreiheit 2024: Deutschland zurück in den Top 10 | Die Restriktionen gegenüber Berichterstatterinnen und Berichterstattern sind vielfältig: von willkürlicher Zensur über Morddrohungen bis zu Verhaftungen und Verurteilungen regierungskritischer Journalistinnen und Journalisten. In den USA wird Medienschaffenden immer häufiger der Zugang zu Informationen erschwert | NDR.de

Tag der Pressefreiheit 2024: Deutschland zurück in den Top 10
Deutschland ist in der weltweiten Rangliste der Pressefreiheit erstmals seit 2003 wieder in die Top 10 zurückgekehrt. Damit verbessert sich die Bundesrepublik im Vergleich zum Vorjahr um elf Plätze.

USA verhängen Importverbot für russisches Uran
Die USA verbieten die Einfuhr von russischem Uran. Der Senat verabschiedete die Maßnahme einstimmig. Die Sanktionen werden 90 Tage nach Inkrafttreten des Gesetzes wirksam. Sie enthalten Ausnahmeregelungen für den Fall, dass die Versorgung heimischer Reaktoren gefährdet ist.
Uran wird für den Betrieb kommerzieller Atomreaktoren zur Stromerzeugung verwendet. Nach Angaben der US-Be…
📑

Ukraine-Liveblog: ++ USA: Russland setzt chemische Kampfstoffe ein ++
Gegen Russland gibt es neue Vorwürfe, es verstoße gegen das UN-Chemiewaffenverbot. Die USA verhängen weitere Sanktionen gegen Unterstützer Russlands. Die Entwicklungen vom Dienstag zum Nachlesen.

Revisiting Restarts of CDCL: Should the Search Information be Preserved?
Xindi Zhang, Zhihan Chen, Shaowei Cai
https://arxiv.org/abs/2404.16387 https://

Revisiting Restarts of CDCL: Should the Search Information be Preserved?
SAT solvers are indispensable in formal verification for hardware and software with many important applications. CDCL is the most widely used framework for modern SAT solvers, and restart is an essential technique of CDCL. When restarting, CDCL solvers cancel the current variable assignment while maintaining the branching order, variable phases, and learnt clauses. This type of restart is referred to as warm restart in this paper. Although different restart policies have been studied, there is …

Florida Governor Ron DeSantis signs a bill requiring parental consent for kids under 16 to hold social media accounts and age verification for many websites (Lauren Feiner/The Verge)
https://www.theverge.com/2024/3/25/2408797

Florida’s DeSantis signs social media law requiring age verification
Republican Governor Ron DeSantis vetoed an earlier bill in Florida that would have restricted social media accounts for kids under 16, but HB 3 allows for more parental consent.

Die Streetview Autos von Google sind wieder unterwegs und nehmen Straßenzüge auf.
Wenn du dein Haus etc. wieder verpixelt sehen möchtest, mußt du wieder tätig werden!
https://www.heise.de/news/Google-Street-View-Widersprueche-muessen-erneuer…

Google Street View: Widersprüche müssen erneuert werden
"Wer seine Privatsphäre schützen will, muss erneut aktiv werden", betont der Datenschutzbeauftragte Alexander Roßnagel zum Restart von Googles Straßenansicht.

Counterexamples to generalizations of the Erd\H{o}s $B B t$ problem
Ethan Ackelsberg
https://arxiv.org/abs/2404.17383 https://arxiv.o…

Counterexamples to generalizations of the Erdős $B+B+t$ problem
Following their resolution of the Erdős $B+B+t$ problem, Kra Moreira, Richter, and Robertson posed a number of questions and conjectures related to infinite configurations in positive density subsets of the integers and other amenable groups. We give a negative answer to several of these questions and conjectures by producing families of counterexamples based on a construction of Ernst Straus. Included among our counterexamples, we exhibit, for any $\varepsilon > 0$, a set $A \subseteq \math…

Optimal Non-Adaptive Tolerant Junta Testing via Local Estimators
Shivam Nadimpalli, Shyamal Patel
https://arxiv.org/abs/2404.13502 https://

Optimal Non-Adaptive Tolerant Junta Testing via Local Estimators
We give a non-adaptive algorithm that makes $2^{\tilde{O}(\sqrt{k\log(1/\varepsilon_2 - \varepsilon_1)})}$ queries to a Boolean function $f:\{\pm 1\}^n \rightarrow \{\pm 1\}$ and distinguishes between $f$ being $\varepsilon_1$-close to some $k$-junta versus $\varepsilon_2$-far from every $k$-junta. At the heart of our algorithm is a local mean estimation procedure for Boolean functions that may be of independent interest. We complement our upper bound with a matching lower bound, improving a re…

This https://arxiv.org/abs/2311.06999 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Quantum and classical query complexities of functions of matrices
Let $A$ be an $s$-sparse Hermitian matrix, $f(x)$ be a univariate function, and $i, j$ be two indices. In this work, we investigate the query complexity of approximating $\bra{i} f(A) \ket{j}$. We show that for any continuous function $f(x):[-1,1]\rightarrow [-1,1]$, the quantum query complexity of computing $\bra{i} f(A) \ket{j}\pm \varepsilon/4$ is lower bounded by $Ω(\widetilde°_\varepsilon(f))$. The upper bound is at most quadratic in $\widetilde°_\varepsilon(f)$ and is linear in $\widet…

Parallel Program Analysis on Path Ranges
Jan Haltermanna, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
https://arxiv.org/abs/2402.11938 https://<…

Parallel Program Analysis on Path Ranges
Symbolic execution is a software verification technique symbolically running programs and thereby checking for bugs. Ranged symbolic execution performs symbolic execution on program parts, so called path ranges, in parallel. Due to the parallelism, verification is accelerated and hence scales to larger programs. In this paper, we discuss a generalization of ranged symbolic execution to arbitrary program analyses. More specifically, we present a verification approach that splits programs into …